A functional completeness theorem for De Morgan functions
نویسندگان
چکیده
منابع مشابه
A Completeness Theorem for "Total Boolean Functions"
In [3], Christine Tasson introduces an algebraic notion of totality for a denotational model of linear logic. The notion of total boolean function is, in a way, quite intuitive. This note provides a positive answer to the question of completeness of the " boolean centroidal calculus " w.r.t. total boolean functions. 0. Introduction. Even though the question answered in this note has its roots i...
متن کاملPost's Functional Completeness Theorem
The paper provides a new proof, in a style accessible to modern logicians and teachers of elementary logic, of Post's Functional Completeness Theorem. Post's Theorem states the necessary and sufficient conditions for an arbitrary set of (2-valued) truth functional connectives to be expressively complete, that is, to be able to express every (2-valued) truth function or truth table. The theorem ...
متن کاملPost's Functional Completeness Theorem
The paper provides a new proof, in a style accessible to modern logicians and teachers of elementary logic, of Post's Functional Completeness Theorem. Post's Theorem states the necessary and sufficient conditions for an arbitrary set of (2-valued) truth functional connectives to be expressively complete, that is, to be able to express every (2-valued) truth function or truth table. The theorem ...
متن کاملA Completeness Theorem for “ Total Boolean Functions ” July 2008
0. Introduction. Even though the question answered in this note has its roots in denotational semantics for the differential λ-calculus ([2] and [1], see also [4]), no background in proof-theory is necessary to understand the problem. In the end, it boils down to a question about a special kind of polynomials in 2n variables over an arbitrary field k. This note is almost “self-contained”, assum...
متن کاملCharacterization Theorem of 4-valued De Morgan Logic
In this paper we give an axiom system of a non-linear 4-valued logic which we call a de Morgan logic (ML), whose Lindenbaum algebra is the de Morgan algebra with implication (MI-algebra), and show that (1) For every MI-algebra L, there is a quotient MI-algebra L such that it is embeddable to the simplest 4-valued MI-algebra M = {0, a, b, 1}; (2) The Lindenbaum algebra of ML is the MI-algebra; (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2014
ISSN: 0166-218X
DOI: 10.1016/j.dam.2013.08.006